Add type checking for Bswitch, when enabled at compile time.

* src/bytecode.c: (exec_byte_code) If BYTE_CODE_SAFE is enabled at
  compile time, use CHECK_TYPE to verify that the jump table is a hash table.

diff --git a/src/bytecode.c b/src/bytecode.c
index fc434a2812f1dd6e4fa893dbe4c206be34ae8b53..f4540e94c9ceb055617845872e330d91ebdf4a88 100644 (file)
--- a/src/bytecode.c
+++ b/src/bytecode.c
@@ -1417,6 +1417,9 @@ exec_byte_code (Lisp_Object bytestr, Lisp_Object vector, Lisp_Object maxdepth,
           {
             Lisp_Object jmp_table = POP;
             Lisp_Object v1 = POP;
+#ifdef BYTE_CODE_SAFE
+            CHECK_TYPE (HASH_TABLE_P (jmp_table), Qhash_table_p, jmp_table);
+#endif
             struct Lisp_Hash_Table *h = XHASH_TABLE(jmp_table);
             ptrdiff_t i = hash_lookup(h, v1, NULL);
             if (i >= 0) {